1. Automata, languages and programming: seven the colloquium, Noordwijkerhout, Netherlands, July 14-18, 1980

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: Congresses ، Sequential machine theory,Congresses ، Formal language,Congresses ، Programming language )Electronic computers(

رده :
QA
267
.
5
.
S4
.
I47
1980

2. Communication and concurrency

پدیدآورنده:

کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)

موضوع: Computer systems,Machine theory,Formal language

رده :
QA
267
.
M53
1989

3. Elaements de thaeorie des automates.English

پدیدآورنده:

کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)

موضوع: Machine theory,Automata theory,Automata math,Formal language,Automatentheorie., swd

رده :
QA
267
.
S22E4
2009

4. Elements of the theory of computation

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع: MACHINE THEORY , FORMAL LANGUAGE , COMPUTATIONAL COMPLEXITY

رده :
QA
267
.
L49

5. Formal language and their relation to automata

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)

موضوع: ، Formal language,، Machine theory

رده :
QA
267
.
3
.
H6

6. Groups, Language,and geometry: 1998 AMS-IMS-SIAM Joint Summer Research Conference on Geometric Group...

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)

موضوع: Geometric group theory-- Congresses,Machine theory-- Congresses,Formal language-- Congresses

رده :
512
.
2
A528G

7. Mathematical foundations of computer science, 3rd Symposium at Jadwisin near warsaw, June 17-22, 1974

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: Congresses ، Sequential machine theory,Congresses ، Formal language,Congresses ، Programming )Elrctronic computers(

رده :
QA
267
.
5
.
S4
.
S89
1974

8. Theory of finite automata : with an introduction to formal languages

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)

موضوع: Sequential machine theory,Formal language

رده :
QA276
.
5
.
S4C35
1989